Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (2) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Zhygallo A$<.>) | |||
|
Загальна кількість знайдених документів : 2 Представлено документи з 1 до 2 |
|||
| 1. | 
Zhygallo A. A. Peterson’s Algorithm total correctness proof in IPCL [Електронний ресурс] / A. A. Zhygallo // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 113-118. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3(spets | ||
| 2. | Zhygallo A. A. Peterson’s Algorithm for Mutual Exclusion Correctness Proof in IPCL [Електронний ресурс] / A. A. Zhygallo, Yu. A. Ostapovska, T. V. Panchenko // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2015. - Вип. 4. - С. 119-124. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2015_4_21 | ||
Попередній перегляд: 
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |